Transformations and Congruence