Principles of TLA+
@ pron<p>This is a great write-up I learn quite a bit from but way, way, too long. There&#x27;s a lot of redundancy in here much like my first sentence. You should try to condense this since the redundancy might make a chunk of the modern crowd think the rest of what they see in the scrollbar will be the same and move on to next article. The last write-up you sent me didn&#x27;t have that problem.<p>I&#x27;m glad I saw this, too, as I recently watched your video citing all the mathematical evidence that correctness may not decompose. I got one or two counterpoints to email you later but overall want your data peer reviewed by people highly experienced in abstractions in large, verification efforts and making VCG&#x27;s given their output will have to compose, too. Let all the pro&#x27;s duke it out with arguments, proofs, and attempts at actual projects. I&#x27;ll reserve judgment until the dust settles. :)