Dig more into Paxos logging