Reinduce

Definition of Reinduce