removed design.tex for now