Balance, Closure, and Proof