discarding it (after destroying it) —