Not finding a path is different from proving that no path exists.