inequivalent

not defined yet