Left_from_BFS(HA)