The original paper then quickly becomes super convoluted by continuing to explain the algorithm by overextending that allegory. By the mid point of it I felt pretty exhausted.

It was then I learnt that the original paper was lying in limbo for nearly a decade until it was finally published.

Then at a conference, Lamport got tired of people telling him his original was difficult to grasp and so came this simplified explanation.

I still have my notes on the paper somewhere in my Obsidian. I should publish those.

Ha! That's very clever, author. You clearly have a similar sense of humor to...oh, it's Leslie Lamport again.