single-decree_Paxos