 In all these examples, sentence (2) is embedded under various operators. What is notable is that whereas the statements in (4) do not follow from any of these embeddings (and would not be expected to follow according to classical logics), the presuppositions do follow. We say that the presuppositions are projected. Certainly, the inference is more robust in some cases than in others: while it is hard to imagine sincerely uttering (5a) without believing some tarts to be salient, it is easier to imagine a circumstance in which (5f) could be uttered when in fact the tarts were not stolen, but hidden. But in the absence of special factors, to which we will turn shortly, someone who sincerely uttered any of the sentences in (5) might be expected to believe all of the presuppositions in (3a)–(3b).