lecture 3.12