todo:test for paxosRace