⁵The beginning-of- and end-of- value functions for each must be defined over compatible state variables, so that the output of any can serve as the input to any other; see the discussion in section 9.