 Given the foregoing ingredients, we can now give a slightly more abstract form of the paradox. (Our hope is to use this abstract form to highlight different responses to the paradox.) We suppose that we have a language \(\mathcal{L}\) with a truth predicate \(\Tr\), and that \(\mathcal{L}\) allows enough syntax to construct a sentence \(L\) such that \(L \dashv \vdash \neg \Tr(\left\ulcorner L\right\urcorner)\). We also suppose that the logic of \(\mathcal{L}\) enjoys LEM and EFQ and satisfies DP and adjunction.