S. argues that the notions of semantic and pragmatic presupposition describe two distinct types of phenomena, so that valid counterexamples to a particular theory of semantic presupposition cannot be covered by a theory of pragmatic presupposition.