Updated notes for lecture 9