Olen todella innoissani saadessani työskennellä Terryn kanssa lukuteorian formalisoinnin parissa