multipaxos'd (without leader re-election)