This market will resolve to "Yes" if the KOSPI (Korea Composite Stock Price Index) records an intraday or close value above 9,385.59 — its official all-time intraday high as published by the Korea Exchange, set on June 19, 2026 — at any point between the creation of this market and December 31, 2027, 11:59 PM KST. Otherwise, this market will resolve to "No".