There was a point in time when the plan was in deficit and it indeed got funded by the government. Then, equally, when the plan was recently in a surplus position above the authorized amount, that went back into the CRF. You have seen it move both ways, but the key point here is that the pension plan itself is jointly funded by employer and employee.
