Moved some stuff around and now shows an example sequence of messages in basic paxos.