Hardening destroy semantics