Updated final.tex