S. demonstrates that the solution to the projection problem for presuppositions proposed by Karttunen and Peters (1979: 'Conventional implicature') is inadequate. (He makes a distinction between speaker presupposition, sentence presupposition and logical presupposition.)