Finished induction.tex