легко искать ошибки и с которыми легко выполнять безошибочно рутинные логические операции. Формализация нужна именно для этого: скорости в работе с