Text this: Charming proofs