lec30final.pdf