finished proof search terms for existential quantification