superinduced

not defined yet