[0]: https://www.cs.utexas.edu/users/EWD/ewd08xx/EWD831.PDF
I have horrible handwriting that I’ve never been ashamed of. Now I am.
Thanks for posting this!