Update lecture20.tex