 stipulates that any individual that is in the extension of ‘bachelor’ is not in the extension of ‘married’. Meaning postulates can be seen either as restrictions on possible worlds or as relativizing analyticity to possible worlds. On the former option we shall say that “If Paul is a bachelor then Paul is unmarried” holds in every admissible possible world, while on the latter we shall say that it holds in every possible world in which (MP) holds. Carnap regarded the two options as equivalent; nowadays, the former is usually preferred. Carnap (1952) also thought that meaning postulates expressed the semanticist’s “intentions” with respect to the meanings of the descriptive constants, which may or may not reflect linguistic usage; again, today postulates are usually understood as expressing semantic relations (synonymy, analytic entailment, etc.) among lexical items as currently used by competent speakers.