add reachability lib