Ну, а объяснять наивным корреспондентам разницу между контрамодулями и разнообразными прообъектами

[posic]

(проконечномерными векторными пространствами, проконечными абелевыми группами и т.д.) я, видимо, буду до конца моих дней. Это в том счастливом случае, если я сохраню общую работоспособность до конца моих дней...