Binary Subtraction Rules