Small fixes.
Insert proof strategies into thesis.