An Efficient Equilibrium Occurs When