True, there is in these terms no contrast between analytic state ments of an ontological kind and other analytic statements of existence such as 'There are prime numbers above a hundred'; but I don't see why he should care about this.