Manipulation of inequalities