Made a few changes to rule induction