reinduct
not defined yet