I'm the treasurer of the state of Ohio, where, when the United States credit rating was downgraded for the first time in American history, and 14 government funds around the country were downgraded, we earned the highest rating we could earn on our $4 billion investment fund.