reinducing

not defined yet