The art of pruning