Lecture 10 (Logic)