4002.1—Name.

The name of the Corporation is the Pension Benefit Guaranty Corporation.