A Formal Theory of Consensus | Synapse