> 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="/files/G27unFEUdPBqw3WU0xlG" 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;