 We said at the outset that dialetheism challenges the LNC. Now this claim needs some qualification, since forms of the LNC are, in fact, accepted as a general logical law in dialetheism, at least in versions based in e.g. the paraconsistent logic LP. Dialetheism as set out by Priest takes all instances of the schema \(\neg(A \wedge \neg A)\) to be true, as well as taking as true some sentences that are inconsistent with it, namely, true sentences whose negations are true: dialetheias. According to such versions of dialetheism, all contradictions are false and some are true: dialetheism is itself a dialetheia (‘Concluding self-referential postscript’ to Priest 1979, p. 203). 