Логика такая: После создания формул обычно проводят анализ полученных результатов, чтобы убедиться в их корректности и соответствии поставленной задаче.