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