Update DesignDocumentation.tex