Design.tex done