congruities

not defined yet