some more thoughts about tree reduction