 In the notation of classical logic extended with definite descriptions of the form \(\iota x\phi(x)\), the object that has the property of being blue as its sole property may be represented by “\(\iota x\forall F(Fx \equiv F = B)\)”[20]  (where “\(B\)” stands for “is blue”), the object that has the property of being blue and the property of being round as its sole properties by “\(\iota x\forall F(Fx \equiv F = B \vee F = R)\)” (where “\(R\)” stands for “is round”), and so forth.