Title: On the efficiency of Keynesian equilibrium