More lecture notes.