Looking_Down_from_BFS(HA)