paxos: noted through 4th line of log