 In  §2.3.3  we saw that the Liar paradox, in the presence of unrestricted capture and release and classical logic, leads to contradiction. So long as we have EFQ (as classical logic does), this results in triviality. Most of the proposed solutions we have considered (with the exception of the revision theory) try to avoid this result somehow, either by restricting capture and release or departing from classical logic. But there is another idea that has occasionally been argued, that the Liar paradox simply shows that the kinds of languages we speak, which contain their own truth predicates, are inconsistent.