Comment by mayoff

As usual, let me point out that Dijkstra's handwriting is a treat if you haven't seen it before. Here's the handwritten version of this note:

https://www.cs.utexas.edu/users/EWD/ewd08xx/EWD831.PDF