I worked through more of Goldrei’s logic book.

I spent some time adding to the Models symbol page.

I also spent a bunch of time trying to look up different definitions of semantic consequence (I think there are at least two different definitions floating around that disagree on formulas containing free variables, but I haven’t been able to find much).