 The disappearance of a pre-state presupposition in example (57) could be explained in this way. On a more standard view, the aspectual verb triggers a quantified presupposition, roughly that x used to smoke. This has to be accommodated locally, perhaps because as suggested by van der Sandt (1992), bound presuppositions can never be accommodated outside of the scope of the binder, what he calls trapping. But it is also conceivable that there is no presupposition to be trapped. The idea would be that the speaker lacks expertise on the habits of the arbitrary individuals quantified over by the quantifier "anyone", and that this is just the situation in which a presupposition is not triggered. The ease with which the existence presupposition of the possessive in example (55) disappears could be explained along the same lines.