https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD867.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/E... Here's the context since

https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD867.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/E... Here's the context since it's been quoted without providing it.