Added some subtraction rules