Max Miller out as US Rep by December 31, 2026?

This market will resolve to "Yes" if Max Miller's departure as a member of the United States House of Representatives is officially announced by December 31, 2026 11:59PM ET. Otherwise it will resolve to "No". The departure will be considered to be announced when Max Miller, the United States House of Representatives, or their authorized representatives publicly and definitively announce that Max Miller has ceased or will cease to hold the position of US Representative from Ohio's Seventh Congressional District. Such an announcement will qualify regardless of when the specified person formally leaves the position. Announcements of the specified person’s resignation, removal, or departure through other means all qualify. The following do not qualify as public and definitive announcements: statements that the specified person is considering or open to departing; conditional statements that the specified person will depart only if specified conditions are met; the announcement of an offer of resignation that requires acceptance and remains pending or has been refused; media reports that the specified person plans to depart; statements made in sarcasm or jest; and statements by persons other than the specified person, the relevant authority governing the specified position, or their respective authorized representatives. … (condensed)