Text this: Proofs