John Carlos Baez · 44w I solved this without any cleverness, but met an old friend I hadn't seen for a long time. (A number, that is.) Anton Sherwood @Anton Sherwood 1765916583 @nprofile1q... 1296?