So Fitch Ratings has decided not to lower the U.S. debt’s AAA credit rating –…