nonequivalence

not defined yet