Изменения

* Нетривиальность (non-triviality): должны быть варианты исполнения, приводящие к разным решениям.

}}

Также можно требовать завершение (termination): протокол должен завершиться за конечное время.