In his paper ‘On Horn's dilemma: presupposition and negation’ Burton-Roberts (1989a) presents an ambitious programme, formulated right at the outset. He seeks to establish three points: (i) Under the ‘standard logical definition of presupposition’ a pre-suppositional semantics is INCOMPATIBLE with a SEMANTICALLY AMBIGUOUS NEGATION operator (SAN), on pain of the theory being rendered ‘empirically empty and theoretically trivial’,. (ii) From this it follows that the one unambiguous negation is presupposition preserving. Cases that have been identified as presupposition-cancelling negation should be re-analysed as ‘instances of a pragmatic phenomenon’, not unlike what has been proposed in Horn (1985), that is as METALINGUISTIC NEGATION (MN). (iii) This pragmatic analysis of MN ‘itself implies a presuppositional semantics’, that is to say ‘a presuppositional theory of truth-value gaps’.