At 14:28 18/04/2007 +0200, Matthias Berghaus wrote: >Herman, would you please be so kind to explain to me where the >difference (in practice, not in sophistry) is between "It is X" and "I >am going to treat it as X"? Easy. There are cases where your system tells you it is X but your hand tells you it can't be X. In such a case, you have to say "it is X".