pruning

See version pruning.