Text this: Reading, Writing, and Proving