restucture reachability eval