reachablelist expanded
