nonequivalency

not defined yet