Settlement

Withdraw USDC.

Once the expiry time has been exceeded, and the waiting-period discussed in the Incentives and Considerations section has elapsed, any user can attempt to withdraw.

When the first user attempts to withdraw, the outcome is evaluated and the result stored, and the market is considered closed. This process burns their outcome tokens and releases a pro-rata quantity of the total deposits. So for a correct outcome i, this can be expressed as:

$$W = (Bi/Si) * T$$

Where:

• W is the amount withdrawn.

• Bi is the user balance of outcome i token.

• Si is the total supply of outcome i token.

• T is the total value of all deposits.