include detail on simple paxos deadlock