 As we mentioned, two important approaches to the Liar paradox that focus on non-classical logics are paracomplete and paraconsistent approaches. We sketched a paracomplete option above. We now turn to a paraconsistent option. Here, the basic idea is to allow the contradiction (e.g., up to and including step 4 of the derivation in  §2.3.3),  but alter the logic by rejecting EFQ—and, hence, avoid the absurdity involved in step 5.