Reading, Writing, and Proving:A Closer Look at