The Manifold Discord server (which you can join 

) has recently instituted a new /market command that lets people bet in markets directly from Discord. This market resolves based on how many traders use that option to bet here, and whether it's more than half of the total unique traders of this market.

If someone bets on Discord and also directly on Manifold (or via the API), I'll count them as a Discord bettor. The only people who don't count as Discord bettors are people who never placed any bets here via Discord.

If this market gets posted multiple times in the Discord I'll include all of them that I'm aware of, but please don't spam it.