@O@mathstodon.xyz lol. This is the only context where my name will be next to his, in a joke.