Итоги голосования для комментария:
Александр Хм, они же написаны на странице 347. Как они уже не могут быть формализованными?
-