7.6.18 Subtraction in Equivalent Expressions