Comment by OvermindDL1

I always go back to this: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/E...