Говорят, один известный автор в этой области бросил заниматься ею, поскольку отчаялся понять, какие из утверждений другого известного автора верны и какие нет. Я надеюсь, что в результате моей деятельности будущие авторы в этой области будут сталкиваться с совсем другими проблемами. Вернее сказать, я надеюсь, что с этой проблемой они не будут сталкиваться (на самом деле я думаю, что в моей книжке ошибок мало, а влияющих на доказательства основных результатов и вовсе почти нет). Но теперь будущие авторы, безусловно, будут сталкиваться с проблемами, которых там не было до моего вмешательства. Основные идеи стали прозрачными, но уровень концептуальной сложности резко повысился. Появился обширный понятийный аппарат, не полностью, но в значительной степени уникальный для этой узкой области. Не знающий полуконтрамодулей и полупроизводных категорий... Я надеюсь, что найдутся люди, которых это не испугает.