Zeer enthousiast om met Terry te werken aan het formaliseren van de getaltheorie