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