worked on inverse reachability