 Priest (1984, 2006) has been one of the leading voices in advocating a paraconsistent approach to solving the Liar paradox. He has proposed a paraconsistent (and non-paracomplete) logic now known as LP (for Logic of Paradox), which retains LEM, but not  EFQ.[10]  It has the distinctive feature of allowing true contradictions. This is what Priest calls the dialetheic approach to truth. (See the entry on  dialetheism  for a more extensive discussion.)