K. and P. propose to treat most cases of pragmatic presupposition as cases of conventional implicature. They try to show how the import of conventional implicatures for the felicity of utterances can be explained. To formalize their account of conventional implicature they use the framework for linguistic description developed by Montague.