 According to MOT\(^{dc}\), the object called “the round square” is the object that encodes the property of being round and the property of being square (and all of the properties that are implied by these properties) and no other properties. Thus, according to MOT\(^{dc}\), the object called “the round square” is \(\iota x\forall F(xF \equiv R \Rightarrow F \vee S \Rightarrow F)\).