 To this, the impossible world theorist can reply that it is in fact the case that \(\neg A\) is true if and only if \(A\) is not true; for this concerns truth simpliciter, that is, truth at the actual world. She may also agree that the same holds for any possible world. But it is precisely impossible worlds that we are talking about here; how negation works at any possible world need not be affected by the fact that, at some impossible world or other, some sentence can hold together with its negation: this is one of the things that makes them impossible, after all. 