As per my previous mail, I added one question on k-consistency to Homework 3, and closed its
socket. It is now due on 10/17 (next wednesday).
I will make the solutions to the homework available soon after that.
The midterm on 10/24 will involve all the material covered until 10/8.