added design.tex