@przecinek: Paxos is also