  Kant’s formulation of the objection was later refined by Bertrand Russell in his famous theory of descriptions. He argues that existential statements such as “God exists” are misleading as to their logical form. While serving grammatically as a predicate, the term “exists” in this sentence has a much different logical function, which is revealed only by analysis. Properly analyzed, “God exists” means “there is one (and only one) x such that ‘x is omnipotent, omniscient, etc.’ is true.” Russell thinks this translation shows that, appearances to the contrary, the statement “God exists” is not ascribing existence to a subject, but asserting that a certain description (in single quotes) applies to something in reality. Russell’s view is reflected in the standard modern logical treatment of existence as a quantifier rather than a predicate.