Please refer to Lec 17 for notes.