integrating reachability