If Jeanine Pirro leaves as United States Attorney for the District of Columbia before Jan 1, 2027, then the market resolves to Yes.