add some reachability code.