The existential quantifier En (E is really a backwards E; n is subscripted)denotes �there exists exactly n,� so that EnxP(x) means there exist exactly n values in the domain such t