existentially

not defined yet