induction argument