reinduce

not defined yet