lecture 17.12