How was your day?

Unbelievably happy, which is so out of character for me.

Didn't fail my logic midterm as I thought I would! Ended up getting an 81.

Lost like most of the points on Question 4, though, where I needed to declare the theorems before proving them, and I totally didn't remember them nor did I prepare a cheat sheet as I was permitted too. (Might not have helped, structural induction still seems to elude me)

 Spoiler

Type Preservation: If M => M' and Γ|- M:C, then Γ|-M':C
Substitution: If Γ,x:N,Γ' |- M and Γ|- N, then Γ, Γ'|- M