Svtuition: Subtraction Without Borrowing