bounded existential qualifier