Design.tex almost done