https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD660...
https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD661...
https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD662...