 Some nontransitive approaches can be understood through the same three-valued models as are used for K\(_3\) and LP (again, we refer you to the entry on  many-valued logic  for details). The difference is in how consequence is defined on these models. In all cases, consequence amounts to the absence of a countermodel, but there are different understandings available of what a model has to be like to be a countermodel to an argument. Depending on what understanding of countermodel is adopted, the very same three-valued models can give rise to the paracomplete logic K\(_3\), the paraconsistent logic LP, a paracomplete and paraconsistent logic sometimes called S\(_3\) or FDRM, or—our present topic—two different logics that include counterexamples to the rule of cut, and have come to be known as nontransitive. 