How a contract settles
Between the event and the payment sit one named source, a time when trading stops, the exchange's determination and the clearinghouse. All of it is written down before the first trade, including what happens when the source is late or the outcome is unclear, and who has the final word.