Thanks. Interesting paper. > THEOREM 2. There is a partially correct consensus protocol in which all nonfaulty processes always reach a decision, provided no p

Thanks. Interesting paper. > THEOREM 2. There is a partially correct consensus protocol in which all nonfaulty processes always reach a decision, provided no processes die during its execution and a strict majority of the processes are alive initially. This seems to be the silver lining from the paper for practitioners.