Väldigt glad över att arbeta med Terry för att formalisera talteori