Before revision:  " First, we prove there is a unique splitting method providing asymptotically consistent estimates when combined with MCMC.
After revision:  " First, we prove that "weighted ensemble" is the only splitting and killing method that provides asymptotically consistent estimates when combined with MCMC.