В чем важность формального исполнения алгоритма