Sorry, maybe I wasn't explicit enough: of course I agree that "either p is provable, not-p is provable, or neither is provable" can NOT be accepted by an intuitionist. I just wanted to contribute to the discussion WHY this is the case. Jesper Carlström