Lecture given by Prof. Peter Clarke as part of Summer Course 6