I think the check here needs to be stricter, otherwise rest may add multiples of (k+1) servers to the cluster.