Binary Rules For Subtraction