inequalities

not defined yet