Modeling With Two-Step Inequalities