Extended Version of Lecture