design.tex