Add more notes to lec 7