Lecture 7 (unevaluated output) is here