Since the creator has abandoned, I am going to clarify the resolution criteria ***based on how people are playing the market***

1. If DeSantis gets at least 1 delegate and Trump has zero, resolves Yes

2. If Trump gets zero delegates and DeSantis gets zero delegates, resolves No

3. If they both get delegates, then it resolves Yes only if the Trump delegate count, times 1.5, is less than the DeSantis delegate count

4. If the Republican party does not assign any delegates or some unforeseen calamity occurs, resolves N/A.

I am unable to pin this comment to the top or add it to the description.

Arbitrage opportunity, unless Republican primary voters are even more insane than I thought:

Wait, this DeSantis market resolves as NA if Trump pulls out or is disqualified, right?

Define crush

What if Trump doesn’t run? What if Trump doesn’t run and DeSantis runs and loses (but still gets some delegates)?