Text this: Math proofs demystified /