It's one thing to cut down an old tree, and another (challenging) thing entirely to remove the stump that gets left behind.