²⁰Discounting at the real interest rate accounts for the fact that a redistributive policy over time will require borrowing or lending at the real interest rate. The preference discount factors of households would appear in both the numerator and the denominator—the utility and marginal utility—and therefore cancel and do not play a role in our welfare measure.