feature reachable_goal