nonequivalent

not defined yet