Text this: THE UNBOUNDED DEAD-END DEPTH PROPERTY IS NOT A GROUP INVARIANT.