edits after lecture 9