added design.tex for Oliver