existential formula