Hart Induction Programs