⁴As long as the beginning-of-stage and end-of-stage value functions for the stages all depend on the same state variables; see the discussion in section 8.