Molto entusiasta di lavorare con Terry per formalizzare la teoria dei numeri