inequivalve
not defined yet