Lecture 4 (Logic)