 The exclusion problem gets its strength from some background assumptions. Specifically, it seems to presuppose that the content of a proposition is given in terms of splitting all possible situations, or worlds, into those where the proposition holds and those where it does not. Even accepting this presupposition, though, would not affect a dialetheic challenge to the LNC. For a given \(A\) to be a dialetheia, putting things in these terms, it is sufficient that there be overlap between the worlds where \(A\) holds, and those where its negation holds. And this is compatible with the idea of propositional content as splitting the totality of worlds—but now with overlap. The tenability of such an overlap, though, requires discussing the account of negation from classical logic, to which we now turn.