Lecture notes, for convenience.