User talk:2601:8C1:C180:1D50:A40B:2830:7CB7:CF85

Hi. He did not formalize this. It was a a short non-rigorous musing.