disequalization

not defined yet