Transformer_Semantics.Sup_Inf_Preserving_Transformers