equivalence_transformation