tests for subtraction