Lecture 9 updates