Time spent on Paxos in Distributed Computing ( Paxos made moderately complex)