Update part4.tex