This probably doesn't matter, but is there any efficiency difference, in either direction? (If we have hundreds of thousands of paths as our final search result, we're in trouble regardless.)