Получил письмо от двух аспирантов из Беркли

В TeX'е, на 5 страницах. TeX-компиляция идет с ошибками (\begin{proof} ended by \end{document}). Прочитал первую страницу -- ничего не понял (ни что утверждается в первой лемме, ни доказательство ее).

Заглянул в исходник. Строчки длиной в тысячи символов. Открыл emacs'ом. Прочел пару закомментированных фраз и осознал, что не следует воспринимать содержимое слишком буквально.

Вспомнил, какие письма писал я, будучи аспирантом. Ну, ладно. Оно интересно, надо бы как-нибудь прочитать.