[math-fun] A footnote about John Conway