Updated main.tex