This market will resolve to “Yes” if Lee Jae-myung ceases to be the President of South Korea for any period of time between June 3 and August 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to “No”. If Lee Jae-myungl is impeached by the National Assembly, however the Constitutional Court does not uphold the impeachment by this market's end date, it will not count toward a "Yes" resolution. For this market to resolve to "Yes" Lee Jae-myung must have actually ceased to be President of South Korea before this market's end date; an announcement that Lee Jae-myung will resign at a later time will not count. The resolution source for this market will be a consensus of credible reporting.