> For the complete documentation index, see [llms.txt](https://wiki.unitas.foundation/unitas-protocol-v1/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.unitas.foundation/unitas-protocol-v1/how-unitas-protocol-works/for-insurance-providers-ips/4rex-tokens.md).

# 4REX tokens

<figure><img src="https://2630918718-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2F7x0z0t7tk4blphMgXGP7%2Fuploads%2FWJLT9A7LPAAyiGYjkUsc%2Fimage.png?alt=media&amp;token=99572841-997c-4206-95f3-8db177b17a8d" alt=""><figcaption><p>simplified version of insurance staking process</p></figcaption></figure>

If the insurance provider stakes their USDT with Unitas insurance contract, he/she will receive 4REX tokens in return as IOU. The smart contract will create a CDP that includes the following information:&#x20;

* amount of USDT staked;&#x20;
* the maturity period; and&#x20;
* the amount of 4REX tokens issued to this insurance provider.&#x20;

Once the maturity period is over, insurance providers have the option to redeem their USDT by returning the original amount of issued 4REXs.&#x20;

Insurance providers have the option to sell their 4REX tokens to satisfy the demand for speculations or liquidity; they can also choose to lock their 4REX to earn yields from the protocol.&#x20;