Update lecture21.tex