a late-night lightbulb
Representative agents are perfectly fine if there is gross substitution within the relevant consumption baskets. Then one can readily invoke standard efficiency theorems on the subset.
Disequilibrium spreads through substitution.
Disequilibrium spreads through substitution.