TLA+ Mental Models | Dark Hacker News