Mitchell_Porter comments on $10,000 bounty for theorem refutation