It's not clarity or correctness but how it is said. See page 2 of the paper (page 5 of the PDF) for example. That is where he is talking about people being stu

It's not clarity or correctness but how it is said. See page 2 of the paper (page 5 of the PDF) for example. That is where he is talking about people being stuck in the 17th century and "how sloppy their proofs are" [1]. I am not arguing that this might not be true! - I argue that it is not helpful to approach introducing and advertising the idea in this way. I'm not a mathematician but I'd understand if someone reacted with defiance to wording like this. [1] https://lamport.azurewebsites.net/pubs/proof.pdf https://lamport.azurewebsites.net/pubs/proof.pdf, p.2 (PDF page 5)