Induction ILP