This is a response to Carston's critique of my account of presupposition-cancellation. While accepting her demonstration that (contra ‘On Horn's dilemma’) presupposition-cancellation does not involve a linguistically encoded contradiction, I show that this is nevertheless consistent with the account of presupposition proposed in Burton-Roberts 1993/7. In fact, Carston's and my accounts of presupposition-cancellation both treat it as involving a pragmatically derived contradiction. I also reconsider the nature of so-called ‘metalinguistic negation’, arguing against Carston that there is a special use of negation (!MN) which involves a use-mention mix and a pragmatically derived contradiction, and is non-truth-functional. I show that, although !MN is echoic, not all echoic negations are examples of !MN.