If Stacey Plaskett has either officially announced their intention to leave as Delegate to the U.S. House of Representatives from the U.S. Virgin Islands' at-large district or has actually left as Delegate to the U.S. House of Representatives from the U.S. Virgin Islands' at-large district before Jan 1, 2026, then the market resolves to Yes.