Adding Linear Inequalities