Up to lecture 17