Problem Set 2 on first order logic is available here. It will be due on Friday, September 28. Submission instructions are the same as last time.