superinduct

not defined yet