Two's Complement, Binary Subtraction - Discrete Mathematics