If a publicly scheduled commercial passenger flight carrying revenue passengers completes a nonstop trip between an airport in the United States and an airport in Lebanon after Issuance and before Apr 1, 2027, then the market resolves to Yes.