prefix Reachability contd