⁵¹It seems likely that convergence of the value functions for the original problem could be proven even if only the WRIC were imposed; but that proof is not an essential part of the enterprise of this paper and is therefore left for future work.