8baanknexer

How so? Particularly in intuitionist logic it would seem to me that they are the same thing.