Yes. The AAA-rates tranches which traded pennies on the dollar in ‘08 largely paid out as expected. That didn’t help banks trying to rely on them as their capital. But it noisily validated the ratings quality of those tranches. (Noisily because, again, massive government intervention.)