Errors and Misconceptions in College Level Theorem Proving | Synapse