Is reachable ?