id: 7eed81e6-0a03-4474-aea3-47308f433992
url: http://userweb.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1036.html