Refactored subtraction()