first correction theory.tex