This market resolves to YES if the event occurs before the end date. Otherwise, it resolves to NO. All trades are final and settlement occurs after resolution.
Derivative condition: Does the market leader cross the 70% probability threshold? Not about who wins.
