Frank Tuccio via cctalk Sun, 12 Apr 2020 15:22:45 -0700
https://en.wikipedia.org/wiki/John_Horton_Conway
