congruencies

not defined yet