 Like Kaplan, Stalnaker has a two-tiered picture: sentence meanings provide a function from contexts to propositions; propositions themselves are functions from worlds to truth-values. Stalnaker, however, has a quite different picture of context, which he bases on the concept of presupposition. Intuitions about what is said are accompanied by intuitions about what is not said, but merely presupposed. If Elwood says,