If for all , , then. Ferdinand the Duck[ edit ] Ferdinand: Humans eat ducks? Two dogs fight, and one bites a man's hand.
In normal operation, each slot leader should produce and publish a block. Becuase of this the selected block by the median algorithm should have been sent in a time compatiple with honest clocks. Then we find the life time of the protocol. Proof Sketch: First of all, we need to show that common prefix prefix property is satisfied with the honest relative-stake assumption. One morning, Babe is awakened by the sheep's cries and finds three dogs attacking them.