Text this: Taking the “Oof!” Out of Proofs: