Perform Congruence Transformations