 There are other cases where Strong Kleene does predict a presupposition, and the presupposition predicted is not what we might have expected. Thus Strong Kleene gives (13a) a classical truth value in all models where there is a knave, and in all models where there was trouble. So while we might have expected the presupposition in (13b), Strong Kleene predicts the presupposition in  (13c).[6]  We will return to this issue shortly.