Вот кстати, Миша, давно хотел спросить: насколько ты уверен в корректности своих работ и тех работ, от которых твои результаты зависят? Как думаешь, смогут ли в ближайшие лет 20 сделать формальную систему проверки доказательств, которой бы захотели воспользоваться математики?