Definition:

reinduce