Dijkstra would like to have a word here

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667...