Базовые пресуппозиции первого кода
http://www.livejournal.com/community/openmeta/135481.html