Update deliverable1.tex