 is self-contradictory. (After all, there must exist at least one thing that is identical to s since it is a logical truth that s is identical to itself!) In contrast, the claim that a golden mountain does not exist may be true since, assuming that G abbreviates the predicate “is golden” and M abbreviates the predicate “is a mountain,” there is nothing contradictory about