Congruence & transformations