Taking the “Oof!” Out of Proofs