My school employs undergradates graders for most of the undergraduate math courses, and this year I have been tasked with grading an intro to proof-based linear algebra course. This is students' second exposure to proofs after the $\epsilon$-$\delta$ intro to analysis sequence, so unfortunately t...