@b4c50e1b Destiny is funny like that! I don't remember, but if this page (or something like it) existed in 2018 the odds are VERY high that I saw it back then! Also I assume that's @6278416d who originally made the pictures? What a small world, since we ended up meeting through HoTT.
@531868ba - the tale is told here: http://math.ucr.edu/home/baez/roots/ Dan started by drawing a somewhat different picture... @6278416d