prefix Reachability