 A different kind of approach without cut is developed and explored in Barrio et al. 2015; Cobreros et al. 2013, 2015; Fjellstad 2016; and Ripley 2013a, 2015. On this approach, a countermodel to an argument cannot assign the third value to any sentence that occurs in the argument. That is, a countermodel to an argument from \(\Gamma\) to \(B\) must do just what a classical countermodel does with regards to the argument. If it assigns the third value to any sentence at all, that sentence cannot be in \(\Gamma\) and it cannot be \(B\). This allows for counterexamples to cut, and unlike Weir’s approach, it also allows for counterexamples to simple transitivity. It also has the curious feature that every argument valid in classical logic remains valid. That is, all the counterexamples to cut and simple transitivity involve appeal to capture, release, or some other special behaviour of the truth predicate. Despite this classical flavour, these approaches are also dialetheist; the claim that the liar sentence is both true and not true turns out to be a theorem. Such a claim is forced to take the third value, and so there can be no countermodel to any argument involving it.