oops, if no pruning set would prune everything