USE designDoc.tex