[A.REI.11] Reasoning With Equations and Inequalities #11