Actually, most of us are all for it. In the long term, a merger would be better for both pilot groups. The tough part would be adjusting to the seniority integration issue.