7The superscript ∂ plays the same role as the more common prime notation (v′), which we avoid because in dynamic programming contexts the prime conventionally denotes the next-period value of a variable (e.g., m′ for next-period market resources), creating potential ambiguity.