 The notion of translation relevant here is not particularly precise; however, as long as the notion of expressing the same thing is not fully captured by that of designating the same thing, then reference to conceptual aspects of language obviously plays a role for this view on reduction. A particularly strong version, though apparently not Carnap’s, is this (this schematic conditional is restricted to properties signified by predicates, which makes the condition easier to formulate):