Obviously not good news, but does that mean that United and other airlines may have a work stoppage or slowdown in protest of this action this summer? Forgive my total ignorance of this situation if this is a dumb question.