Statements about Congruence