reachability, thoroughly untested but finally implemented