 Although till today all the logic used in intuitionistic reasoning is contained in IQC, it is in principle conceivable that at some point there will be found a principle acceptable from the intuitionistic point of view that is not covered by this logic. For most forms of constructivism the widely accepted view is that this will not ever be the case, and thus IQC is considered to be the logic of constructivism. For intuitionism the situation is less clear because it cannot be excluded that at some point our intuitionistic understanding might lead us to new logical principles that we did not grasp before. 