Subtraction and Reasoning