Before revision:  In contrast, we present a general result that holds for any policy for which the associated recursion or differential equation satisfies a list of criteria. For SQ(d) and LL(d) these criteria are trivially verified.
After revision:  In contrast, we present a general result that holds for any policy for which the associated recursion or differential equation satisfies a list of assumptions. For the LL(d) these criteria are trivially verified.