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