superinductions