Here is the scan of the original typewritten EWD: http://userweb.cs.utexas.edu/users/EWD/ewd02xx/EWD215.PDF http://userweb.cs.utexas.edu/users/EWD/ewd02xx/EWD2

Here is the scan of the original typewritten EWD: http://userweb.cs.utexas.edu/users/EWD/ewd02xx/EWD215.PDF http://userweb.cs.utexas.edu/users/EWD/ewd02xx/EWD215.PDF The entire EWD archive can be read here: http://userweb.cs.utexas.edu/users/EWD/ http://userweb.cs.utexas.edu/users/EWD/