noncongruities

not defined yet