 Proponents of (a) are likely to deny that there is an operation of negation on facts. For take the fact [being a philosopher; Socrates], and suppose there is a corresponding negation \(x\). Then as we saw, it would be odd to claim that \(x\) is not a complex fact, having Socrates as a component. Suppose \(x\) has such a complexity. Now take two worlds \(w\) and \(v\), such that in \(w\) Socrates exists but is not a philosopher, and in \(v\), Socrates does not exist (and so is not a philosopher either). Then in both worlds, the proposition that Socrates is not a philosopher is true. And according to a proponent of view (a), \(x\) exists in \(w\) but not in \(v\). The outcome is rather odd. Similar considerations hold of disjunction, but not of conjunction.