More Pen-and-paper proofs

We do more of these proofs in class, using the proof checking tool,

as well as just working in an editor and uploading.

Please see the schedule page for uploaded examples.