A presupposition caused by a change of state verb, factive verb or iterative word — The kitten stopped destroying everything in sight (it was destroying everything in sight before).