Wrote out inductive proofs.