Understanding the subtraction sign