Principle of Double Superinduction