noncongruency

not defined yet