If Jack Smith has been formally charged with any federal crime in after Issuance and before Jan 1, 2026, then the market resolves to Yes.