No definite ideas on this, Kathryn, except… it would be WAY cool if we

could work the name “Georg Friedrich Bernhard Riemann” in somehow.