The Skolemization of existential quantifiers in intuitionistic logic