Congruence Statements and Transformations