Post #2208432

@OscarCunningham@mathstodon.xyz @johncarlosbaez@mathstodon.xyz cool! I stuck it in my username when I learned about it and now I'm keeping itn!