@jdw I knew I saw it somewhere the other day ! https://mathstodon.xyz/@dpiponi/116321689626319702