superinducing

not defined yet