Muy emocionado de estar trabajando con Terry en la formalización de la teoría de números