You couldn't possibly successfully do clever hans for novel mathematical proofs and counter-examples that don't exist yet, however here we are.

Generalization in successful results is enough to close this argument for me.