Yes it was great fun, I hope we can make \\(UCR\to Caltech\\) into at least an adjunction!