congruist
not defined yet