On pragmatic presupposition