Notes through lecture 12