I find I appreciate EWDs even more in their original, handwritten form: https://www.cs.utexas.edu/~EWD/ewd10xx/EWD1036.PDF