Lecture notes from 2013-01-15.