@haggismaths I'm giving a talk in Edinburgh Uni on Wednesday. Can I pop in to see you afterwards?