Совсем плохой стал

Обнаружил сквозную пронизывающую ошибку в пишущейся статье, переходящую от конструкции к конструкции и от леммы к лемме. На основные результаты она никак не влияет, но нехорошо. Просто сам написал и тут же сам совершенно забыл, что квазикогерентный функтор i^! у меня определен только для "разумных" замкнутых подсхем. Теперь надо какими-то поисками вылавливать эту проблему по всему тексту и переделывать.