Bruce Middleton comments on $10,000 bounty for theorem refutation