Premise: Gulf Air (Arabic: طيران الخليج‎ ‎ "Ṭayarān al-Khalīj") is the principal flag carrier of Bahrain. Headquartered in Muharraq, adjacent to Bahrain International Airport, the airline operates scheduled services to 41 destinations in 23 countries across Africa, Asia and Europe. Its main base is Bahrain International Airport.
Hypothesis: Gulf Air has been used by carl.