reinduced

not defined yet