Bardzo się cieszę, że mogę pracować z Terrym nad sformalizowaniem teorii liczb