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