 Like the paracomplete approach we just surveyed, paraconsistent approaches to the Liar find easy, natural motivation in transparency or otherwise suitably ‘minimalist’ views of truth that require full intersubstitutability of \(A\) and \(\Tr(\left\ulcorner A\right\urcorner)\), and thus cannot restrict capture and release. But paraconsistent approaches have also found motivation in a Dummett-inspired anti-deflationist view, which takes the role of truth as the aim of assertion seriously (cf. Dummett 1959). Indeed, Priest (2006) argues that this (non-transparency) view of truth motivates both the T-schema and LEM, and that this implies that the Liar sentence \(L\) is both true and not true. Hence, according to any such dialetheic line (according to which at least one sentence is both true and not true), the only option is to reject EFQ.