Torkel, with "e is prime" (as with any other decidable statement) the intuitionistic attitude is that one can "in principle" tell what the truth-value is. My remark that you quote was really intended to apply only to statements for which we have no decision procedure. Best, Neil