subinduce
not defined yet