binary subtraction rules