K. and P. develop a theory of conventional implicature, which they see as a proper subset of the broader concept of presupposition. They develop a formal means of computing the conventional implicatures of sentences as an extension of Montague grammar, including a solution to the projection problem for presuppositions.