If Samuel Alito retires as Supreme Court Justice before Jan 1, 2027, then the market resolves to Yes.