Отправить по sms: Memoirs of a proof theorist