can't refer to induction principles before they're introduced