B.1 Linear Inequations