Reading, Writing, and Proving: A Closer Look at