> That situation is better described as:> "Therefore we have a contradiction".>> Regards, WM

We have a contradiction only if we believe with religious fervor that"it should" be on the list. Since I hold no such belief, I see noproblem . If you insist that 3 + 4 = 5, you're going to get acontradiction one way or the other .

> Your conclusion is wrong. Something is not in the list for some k and> for all n in the list:

It always fascinating how one can manage to string up words togetherin sentences that are grammatically correct but don't hold a shred ofmeaning, semantically speaking . Ah well, you know what they say :Colorless green ideas sleep furiously.