Transformation and Congruence