Итоги голосования для комментария:
Arris По моему ты слишком сильно увлечен формализацией. На мой взгляд, это нехорошо.

Разве мы играем ради цифирек? :)