REDUCED INEQUALITIES
REDUCED INEQUALITIES