Veldig spent på å jobbe med Terry om å formalisere tallteori