congruency

not defined yet