Binary Consensus

First is Another advantage of free choice (Extended Abstract). Michael Ben-Or. 1983

Each server starts with an initial value $v_{i}\in\{0,1\}$.
- All correct servers output the same value $v$.
- If for all correct servers $i$, $v_i=v$, then the output must be $v$.