initial version of theory.tex