finished induction principles section