Proof by Superinduction