disequality

not defined yet