You are leaving mathstodon.xyz.

If you trust this link, click it to continue.

https://toot.io/@tao/112102903075481497