Definition:Conditionally Existential Statement