Technically they had social security. It's pretty clear that that's not enough to fund the average retirement, but the company chose to offer better to stay competitive.