[jackpirate]

No real world code is simple and elegant enough that you don't need to think through the complex invariants of the code

Unless, of course, you write in a functional language like Haskell. All those invariants become explicit and your code magically becomes simple