Both are true. If there is such a path, then it can be found and is returned, otherwise a verifiable certificate that there is no such path is returned.