 Use induction on the number of layers.)  Exercise 0.0  Consider the following protocol intended to solve  -set agreement for  . Each process has an _estimate_ , initially its input. For   layers, each process communicates its estimate, receives estimates from others, and replaces its estimate with the smallest value it sees. 