TLA+ in Practice and Theory, Part 2: The + in TLA+ | Dark Hacker News