I also read through Lamport's critique and I'm not convinced by it. The 'errors' he points out are trivial, and the cultural assumption is that an active reader

I also read through Lamport's critique and I'm not convinced by it. The 'errors' he points out are trivial, and the cultural assumption is that an active reader will fill in the omitted details.