(to cease)