20 lines of reasoning and one quote that I think conveys what I mean. I think if you can't honestly engage with that besides accusing me of "appeal to authority" there is nothing to be gained from continuing a discussion.

Btw it's actually Lamport quoting Spivak.