If Clarence Thomas retires as Supreme Court justice before Jan 1, 2028, then the market resolves to Yes.