temporal reachability Synonym