Rewriting Inequalities