This paper derives the value of PBGC pension insurance under two scenarios of interest. The first allows for voluntary plan termination, which appears to be legal under current statutes. In the second scenario, termination is prohibited unless the firm is bankrupt. Optimal pension funding...