For those of you in Logic who came to my office hours today: shoot me an email if you’d like solutions to those last two derivations we didn’t have time to go over, I’ve got them done and am happy to send them along. They’ll be PDFs because of all those zany quantifiers and whatnot. Good luck on Monday!