paxos: started thinking about what I actually have to *do*