  Similarly, to say that God exists is to say that the concept  God is (uniquely) instantiated, i.e., to deny that the  concept has 0 instances (or 2 or more instances). On this view,  existence is no longer seen as a (first-level) predicate, but  instead, existential statements are analyzed in terms of the  (second-level) predicate is instantiated, represented by  means of the existential quantifier. As Frege notes, this offers a  neat diagnosis of what is wrong with the ontological argument, at  least in its traditional form (GL, §53). All the  problems that arise if we try to apply decompositional analysis (at  least straight off) simply drop away, although an account is still  needed, of course, of concepts and quantifiers.