Pruning an Infinite Tree