Started Induction proof
Finished preamble
Finished titlepage