Foreseeable income reductions around retirement should not affect aggregate consumption. However, given higher leisure endowments after retirement, theory also predicts lower consumption of leisure substitutes. To avoid misinterpreting this predicted drop as a puzzle, our novel approach focuses...