The overfunding isn't separate. It's central to the entire thing. If a company owes $5000 a month to its employees, but it has enough to pay them $6000 a month, that money does not go to the employee. It is called a "defined benefit" for a reason. Also the money is not put there by the employees. It is put away by the company. Pensions are not 401Ks.