revised design-doc.tex