@andrewt@mathstodon.xyz omg this is gold, may I steal this and make a russian translation of the post for russian audience of mastodon network™?