Ken - wow, you were there! I know Eugenia Cheng and Ross Street quite well, since I spent a sabbatical in Macquarie talking to Street, and also visited Cambridge while Eugenia was a grad student there doing her thesis on some math I'd helped develop. They're both great people. Eugenia is also a concert pianist!