reachableness

not defined yet