by wglb·17y ago·view on hn ↗And the url is http://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EW...