A stump in the middle of the lawn was interfering with mowing and ruining the whole look. I tried salting it and burning it, but nothing worked. Then I stumbled upon the article
https://growcycle.com/learn/lawn-and-garden/lawn-care-tips-and-maintenance/tree-stump-removal-made-easy-diy-vs-professional-methods, which clearly explained why such methods are ineffective. The author described in detail which methods actually work and which are best left to professionals. Afterwards, I called a service, and within a couple of hours, the stump was gone—now a rose bed has taken its place.