Update 30-design.tex