In fact anybody from #mathstodon #maths want to jump in here, this is a fun one (see thread) /cc @johncarlosbaez@mathstodon.xyz et al.