Muy ilusionado de trabajar con Terry en la formalización de la teoría de números