In PL, double negation of P is equivalent syntactically and semantically to P - they both have the same truth value. In Intuitionistic logic, do they still hold the same truth value semantically, or is that not something that we should be concerned with at all?