Since this is a checking account, you are required to enforce an invariant that the balance is never negative.