Lecture 2 (Logic)