 The literature is choc-a-bloc with examples of presuppositional inferences apparently disappearing. Whether such examples are appropriately described as involving cancellation is partly a theoretical decision, and, as we will see, many scholars avoid using the term “cancellation” for some or all such cases. One reason for this is that the term “cancellation” appears to suggest that an inference has been made, and then removed. But in many cases there are theoretical reasons not to regard it as an apt characterization, and in considering early views on presupposition in the next section, we will come across one class of such cases (specifically, cases involving hypothetical reasoning in conditionals).