Discussion on Mastodon, from which the idea came: https://mathstodon.xyz/@zens@merveilles.town/110369866152393...