Inequalities of varying degrees processed correctly