The Green New Deal is dead. How bad was it?