 To distinguish between analytic and synthetic statements in the theoretical language Carnap made the following proposal. Let the Ramsey sentence of the conjunction of all theoretical postulates and the conjunction of all correspondence rules of that theory be considered as expressing the entire factual, synthetic content of the scientific theory and its terms in their entirety. By contrast, the statement “RTC → TC” expressed the purely analytic component of the theory, its “A-postulate” (or so-called Carnap sentence). This “A-postulate states that if entities exist (referred to by the existential quantifiers of the Ramsey sentence) that are of a kind bound together by all the relations expressed in the theoretical postulates of the theory and that are related to observational entities by all the relations specified by the correspondence postulates of the theory, then the theory itself is true.” Or differently put, the A-postulate “says only that if the world is this way, then the theoretical terms must be understood as satisfying the theory” (1966 [1996, 271]). With RTC → TC expressing a meaning postulate Carnap claimed to have separated the analytic and synthetic components of a scientific theory.