Add part4.tex