You are leaving mastodon.ie.
If you trust this link, click it to continue.
https://mathstodon.xyz/@roywig/109306022266766568