add write-up.tex