So is Frontier already been sold off from Republic, and if so, have the Frontier pilots pulled out clean from the Republic integrated seniority list? How does that work?