add reachability