Probabilistic verification of a safe merge system

Sorry, there's nothing here.