How To Do Binary Subtraction Rules