paxos: notes on execution through the 3rd line of logs (log!)