 Let’s see how MOT\(^{dc}\) avoids the alleged paradoxes mentioned in section 4. The first objection was that objects like the round square infringe the law of contradiction, since such objects would be both round and not round. According to MOT\(^{dc}\), however, the object called “the round square”—\(\iota x\forall F(xF \equiv R \Rightarrow F \vee S \Rightarrow F)\)—is not round (i.e., does not exemplify the property of being round). Thus, no contradiction arises.