@christianp @ColinTheMathmo
While I understand that getting a lot ...

https://mathstodon.xyz/users/jocelyn_etienne/statuses/110672961431573167