Edits to lecture 4.3