If the National Guard is deployed to Washington, D.C. after Issuance and before Jan 1, 2027, then the market resolves to Yes.