 And so they'd set up home together. That would be his new life? He moved in with Michael and he started at ANU, Australian National University. But there was really no professor there that was in his subject area, category theory. And he eventually found somebody at a university up in Sydney. ANU is in the capital city of Australia, Canberra, which is about a three-hour drive from Sydney.