Straightforward geometry can be used to explain the role for life annuities in smoothing individual consumption during retirement. In the aggregate, there is a surprising analogy with a standard diagram from trade theory. That diagram takes careful account of the government revenues foregone...