Modeling with Inequalities