mathematical structure as the overlapping-generations model of Allais (1947) and Samuelson (1958). The phenomenon of "dynamic … inefficiency" in such models represents a failure of the First Welfare Theorem in "large-square" economies, rather than frictions …