I think that's kindof the point... it's easier to ask the affirmative form then the negative, ie it's easier to prove then disprove.

Anyways, this meta-discussion has gone long enough anyways. I'm having too hard a time following it. Can't we go back arc and exploratory languages, please? :)