7.5.5 Representing Subtraction