More Definitions...
- A finite execution ? is 0-valent (1-valent) if 0 (1)
is the only decision value in all extensions of ??
- ? is bivalent if it is neither 0-valent nor 1-valent.
In any 1-Resilient Consensus Protocol
there is a bivalent initial execution.