Explicate cancellation/destruction better