Lecture 3: "True Turing"