edited Theory.tex