Видимо, следует считать, что все нужные доказательства естественности и необходимости контрамодулей в моих архивных препринтах 2012-15 годов уже приведены. Доведение до ума контрагерентного трактата и доработка трех препринтов 2015 года, связанных с контрамодулями, завершат этот процесс. Направление атаки сейчас будет (собственно, уже начало с появлением препринта 1504.00700) меняться. Следующей целью является демонстрация релевантности всей картины полупроизводных категорий и ко-контра соответствия в контексте алгебраической геометрии, с дальнейшим переходом к арифметическим аспектам.