[proof reading search] completed DFS