Lecture 7 (Logic)