Contrary to what seems to be predicted by a Strawson-inspired view, in presupposition denials the presupposition triggered by, e.g., ‘the king of France’ seems to be cancelled. To explain this puzzling instance of the projection problem, defenders of a Strawson-inspired view have proposed various ad hoc ambiguities. I develop a version of Segmented Discourse Representation Theory that explains the puzzling presupposition-cancelling phenomenon relying only on independently motivated pragmatic processes. Appealing to Kripke’s “test” for the adequacy of ambiguity motivating counterexamples, I (...) argue that my analysis is to be preferred over proposals that posit ad hoc ambiguities. Two key insights of my analysis are, first, that the “cancellation” of presuppositions in presupposition denials depends upon the illocutionary effects of rejection and correction, and, second, that the process of presupposition accommodation often involves the speaker performing an ancillary sort of speech act, viz. the speech act of presupposing. (shrink)