lec25final.pdf