Congruency statements