strong induction project