If the United States has imposed a ban on exports of crude oil that has gone into effect after Issuance and before Jan 1, 2027, then the market resolves to Yes.