Формальный алгоритм анализа не всегда должен использоваться.