On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols
Time is not a healer