Proof by contradiction in intuitionist logic: ¬P implies only that there is no proof that proofs of P are impossible.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.