Yes. I had to backtrack a couple of times for a few seconds each, but it's Leslie Lamport, so I figured it was worth doing. Besides, if I wanted to comment, I

Yes. I had to backtrack a couple of times for a few seconds each, but it's Leslie Lamport, so I figured it was worth doing. Besides, if I wanted to comment, I wanted to not just skim it and then make a stupid comment. Peace be with you, friend.