[proof reading search] complted bfs