Right_from_BFS(HA)