Reading, Writing, and Proving