Wasn't it based upon if the carrier already had some form of pension other than 401K? Like UAL has a C Plan, and a 401K. Wasn't their 401K was already taxed??

I can see why some carriers voted for the measure when it would not directly impact their own paycheck.
I might be wrong too but that was my understanding.