 There is a simpler argument against P1 enemies of disjunctive facts may advance. Take any two propositions \(p\) and \(q\) and assume they have a disjunction \(r\) (we may assume that \(p\) can be true and \(q\) false, and vice versa). By P1, there are facts \(x, y\) and \(z\) such that \(\ES(x) = \TS(p)\) and \(\ES(y) = \TS(q)\) and \(\ES(z) = \TS(r)\). So \(\ES(z) = \ES(x) \cup \ES(y)\), and \(z\) behaves like a disjunctive fact: it exists in a world iff \(x\) or \(y\) does.