If the total vote count for all participants in the 2026 Michigan Senate Democratic primary is above 900000, then the market resolves to Yes.