Update part1.tex