TLA+ Mental Models | Hacker News Reader