added fachts for reachability-navigation