¹⁶Equations in sections 2–5, which predate the modular decomposition, show $\beta$ inside the continuation value of the consumption problem (e.g., (12)). That formulation is equivalent: the $\beta$ that appears there is the same discount factor, housed inside a composite continuation value rather than in a separate stage. The modular decomposition separates what those equations combine.