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

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.