 Let’s ignore all presupposition triggers in (12) save “the knave”, and show that Strong Kleene predicts that the sentence as a whole does not presuppose that there is a knave. Using Definition 1, it suffices to find at least one model where (12) has a classical truth value, but in which there is no knave. This is easy: in such a model, the antecedent is false, and inspection of the above Strong Kleene table shows that when the antecedent of a conditional is false, the conditional is true, as would be the case classically. In fact, Strong Kleene predicts no presupposition for (12). This is in contradistinction to Weak Kleene, which would fail to give (12) a classical value in knave-less models, and hence predict that (12) presupposes the existence of a knave.