Modeling With One-Step Inequalities