reachabilities