6.7 - determine whether nodes are reachable