clarified goal state reachability in the infinite case as a sub-class of the finite value policy problem