32MST’s proof is for convergence of the consumption policy function directly, rather than of the value function, which is why their conditions are on , which governs behavior.