Update paper/design.tex