It went fairly well, I think. It's obvious
that I (together with, cough, a lot of my classmates)
could stand to work on my speaking skills.
Frank doesn't like the unification issue fix, but
also seems to think the issue's not a big priority.
Finalized the linlog project proposal.
I'm not entirely satisfied with the coherency
of the plan, but eh.
I'm still somewhat nervous about the model theory midterm
coming up.