more untested paxos