On Disjunctions and Existential Statements in Intuitionistic Systems of Logic. R. Harrop Mathematische Annalen