Finished (the first draft of) the notes for lecture 4