Statements of Congruence