RE: https://mathstodon.xyz/@fnf/115960729940528764 Very happy to have @fnf visiting us and we did have very productive and exciting (!?) weeks for research. 🥳