Reachability does NOT require arc