Итоги голосования для комментария:
Dmitry Gerasimov Тут сложность в том, что формализация и обязательность — в общем случае независимые вещи.
+