Subtraction Without Borrowing