implement and test subtraction