 One notable property of Karttunen’s 1974 treatment of examples like (27), a property not found in his 1973 model, is that the presupposition predicted is conditionalized. That is, (27) is not predicted to presuppose that Geraldine has had holy underwear that she wore, but that if she is a mormon then she has had such underwear. We already encountered such conditionalized presuppositions in our discussion of Strong Kleene; in fact, Strong Kleene predicts exactly the same conditionalized presupposition in this case. Karttunen’s 1974 model also predicts conditionalized presuppositions when the presupposition trigger is in the right conjunct of a conjunction, or in the consequent of a  conditional.[15]  Thus in (16a), repeated below, the presuppositions predicted are that there is a king (since presuppositions triggered in the antecedent are not conditionalized), and that if the king is angry, then there is a knave. In (16b), the conditional presupposition (that if there is a knave, then there is a knave) is trivial, so in effect there is no net  presupposition.[16]