Review theory.tex