Update design.tex