[disjunction]

So when all is said and done there will be a discussion about the fact that the winner was "a pro" or "not a pro". It seems hopelessly unlikely that a pro would win, until you consider now that there may be 200 recognizable pros. But 200 is probably inaccurate. Does anybody have an idea of how many name-pros there are?