Update section1.tex