 According to MOT\(^{dc}\), the object blue is \(\iota x\forall F(xF \equiv B \Rightarrow F)\), i.e., the object that encodes exclusively the properties that are implied by being blue. Thus, the object blue exemplifies the property of encoding only the properties that are implied by being blue. It is not the case that the object blue has exactly one property and at the same time has at least two properties, at least not, if “has” is used in the same sense in both occurrences. In this way, the apparent contradiction disappears.