A translation of intuitionistic predicate logic into basic predicate logic