come to an end; cease to happen or operate