Analytic_induction