 The upshot of the above argumentation is that update of a context with (31) is only defined for contexts in which (a) there is a king, and (b) all the worlds where the king is angry are worlds where there is a knave. Following the definitions through, it turns out that, once again, the original sentence carries both a non-conditionalized presupposition, that there is a king, and the conditionalized presupposition that if the king is angry, then there is a knave.