Дуже радий працювати з Террі над формалізацією теорії чисел