with proper reachability