Lecture 9 (Logic)