Implemented REAL reachability