Faster Paxos (f=1)

Faster Paxos (f=2)