Yes, if they were allowed to buy those bonds. I know you are going to say that they are for retirees. Those funds probably should have a charter to say what they are allowed to invest in. FYI - probably ~70-80% of bonds in a deal are AA to AAA bonds. They are not junk. They shouldn’t be investing in residual bonds.