partial induction