One-step Linear Inequalities