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:
* amount of USDT staked;
* the maturity period; and
* the amount of 4REX tokens issued to this insurance provider.
Once the maturity period is over, insurance providers have the option to redeem their USDT by returning the original amount of issued 4REXs.
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.
---
# Agent Instructions: Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.
Perform an HTTP GET request on the current page URL with the `ask` query parameter:
```
GET https://wiki.unitas.foundation/unitas-protocol-v1/how-unitas-protocol-works/for-insurance-providers-ips/4rex-tokens.md?ask=
```
The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.
Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.