Эпиграф из Щербакова

Когда надежды поют, как трубы,
их зов дурманит, как сладкий дым.
Они предельны, они сугубы,
и так несложно поверить им.

Это я начал сегодня помаленьку размышлять про контрагерентные копучки контрамодулей на нетеровых формальных схемах. Уже набрел на пару формулировок утвердений из гомологической коммутативной алгебры, которые можно попробовать доказать для начала.