Progress report

I have started to lecture Chapter 3. I have started to prove the Completeness Theorem (Section 3.2). I will complete the proof tomorrow. Thereafter, I will start to lecture Section 3.3 (maybe tomorrow, maybe not).