Muito entusiasmado por estar a trabalhar com o Terry na formalização da teoria dos números