Lecture 13 notes, ready for class tomorrow