Ouch! I feel the fool.

Revised thoughts. It would only be 10 billion, which would equal two years of payouts for the entire pension.