lec23final.pdf