state utility function--utility with a single argument, consumption plus monetized leisure. The monetized leisure model is … that leisure and consumption be substitutes (the cross-derivative of consumption and leisure be negative) and (ii) the … an open question. The rich empirical literature on the "retirement consumption paradox" suggests that the rate is below …