Market is actually dumb if they need a rating agency to say a government 37 trillion in debt has bad credit