The above argument supposes we are working with a language rich enough to contain the adverb 'necessarily, this adverh being so construed as to yield truth when and only when applied to an analytic statemen.