simple reachability problem