renamed Reachability to SHKReachability