Title: Taking the Oof! Out of Proofs