It's a perfect example of how useful it is to think in terms of what invariants should hold and why.