How spec helps thinking in TLA+, https://www.youtube.com/watch?v=-4Yp3j_jk8Q #buildinpublic #todayilearned