Tree Reduction