meta_induction
