Sangat bersemangat untuk bekerja dengan Terry dalam memformalkan teori bilangan