Lecture notes for CS132