Pruning Trees Correctly