What you don't seem to understand is that the pension obligations would come before the PF if the state defaults. So the pensions will be paid even if it means draining the PF dry first. That is why shoring up TRS and PERS has to be done to protect the PF.