If Sean is officially eliminated from Love Island UK S13 before Jul 13, 2026, then the market resolves to Yes.