 The second objection was that the existent golden mountain would infringe the law of contradiction, since, if there were such an object, it would be both existent and nonexistent. According to MOT\(^{dc}\), one could answer to this objection as follows: The object called “the existent golden mountain” is \(\iota x\forall F(xF \equiv G \Rightarrow F \vee M \Rightarrow F \vee \rE! \Rightarrow F)\). This object encodes the property of being existent, but it does not exemplify it. Since “\(b\) encodes \(F\)” does not imply “\(b\) exemplifies \(F\)”, there is no contradiction involved here.