Add notes for lecture 7.