Очень рад работать с Терри над формализацией теории чисел