How to Reason About Mutable State | Hacker News Reader