added back the tex files
design doc, locks