It's probably worth having a comment about why `reachable` is appropriate here.