-

Mmm, midsemester break.
Got model theory done.