inequivalved

not defined yet