- Finished with theory.tex