A3 Linear Inequalities