making room for less side-effects in paxos implementation