Rewriting And Inequalities