Text this: Proofs from the book