There seem to be two different explanations of examples like (7): either they are employed as evidence that the pragmatic inference from and to and then contributes to the truth-conditional content of utterances, because it is subject to the operation of negation (e.g. Carston, 1993; Levinson, 2000).