Probabilistic Foundations of the Staver-Levin Model