 But there are still potential problems, which actually affect P2 as well, this time related to negation. Take the negative proposition that Socrates is not a philosopher. By P2, there is a set of facts \(K\) such that \(\DES(K)\) is the truth-set of that proposition. What is that set of facts? One may wish to answer: the set whose sole member is the fact that Socrates is not a philosopher. Again, it is hard to think of any alternative, and so P2 seems to commit one to negative facts. Alternatively, assume the previous principle. Shall we take the proposition that Socrates is not a philosopher to be in \(Q\) or not? If we do, then we are in the same situation as before: we seem to be committed to negative facts. If we do not, it is hard to see which set of propositions \(R \subseteq Q\) satisfying condition (ii) above we are going to choose.