congruism
not defined yet