Lecture 11 (Logic)