Text this: People, problems, and proofs :