Update write-up.tex