inequation
not defined yet