Adds TODO for problem with theorem.
Switches from bibtex to biblatex.
Clarifies to which conjecture we are referring.
Comments out false section.