Add notes for lecture 9.