Text this: How to read and do proofs