Let us consider the algorithm described in Fig. 16.3, in which, for each consensus instance, the agreement property is weakened as follows: no two correct processes decide different values. (As it is...

Let us consider the algorithm described in Fig. 16.3, in which, for each consensus instance, the

agreement property is weakened as follows: no two correct processes decide different values.

(As it is only on correct processes, this property is not a “uniform” property). Describe a counterexample showing that the total order algorithm is then incorrect.