Pro- vide an analysis for why the value of the Lyapunov function V (x) = maxixi minxi has to decrease at every iteration if x does not belong to the agreement subspace, that is, when V (x) > 0. Plot V (x) for a representative digraph on five nodes containing a rooted out-branching running the agreement protocol.