index
induction hypothesis -> inductive hypothesis, as discussed on 76c005ceb