Sehr aufgeregt, mit Terry an der Formalisierung der Zahlentheorie zu arbeiten