noncongruity

not defined yet