reinducts
not defined yet