Recall that the expansion process does not generate children that have already been encountered on the solution path.