Update Design Document.tex