«  8   9   10    » Trimming the stump.