add existential feature