 According to MOT\(^o\), the object called “the golden mountain” was \(\iota x\forall F(Fx \equiv F = G \vee F = M)\), i.e., the object that has the property of being golden and the property of being a mountain (and no other properties). According to the revised version of object theory, the object called “the golden mountain” is the object that has all the nuclear properties that are implied by the nuclear property of being golden and the nuclear property of being a mountain, i.e., \(\iota x\forall F^n (F^n x \equiv G^n \Rightarrow F^n \vee M^n \Rightarrow F^n)\).[31]