# User actions ## Minting Token emission (minting/burning) is only allowed to be done through MOC system, users cannot create or destroy tokens directly on the ERC20 contracts. ### BitPro Can only be minted in exchange for RBTC. Given an amount of RBTC paid to the contract, the system calculates the corresponding BitPro amount to mint, RBTC and Bitpro balances are added to the base bucket and the new Tokens are sent to the user. There's a discount sale, below a certain level of coverage (uTPDU, currently 1.6). This increases coverage, and allows to mint `(sent_btc/target_coverage)*btc_price` extra DoCs, assuming the system is in the 'above coverage' state. ### DoC Can only be minted in exchange for RBTC. Given an amount of RBTC paid to the contract, the system calculates the corresponding DoCs amount to mint , RBTC and DoC balances are added to the base bucket and the new Tokens are sent to the user. ## Redeeming ### BitPro A user can "sell" their BitPro back to the contract and recover the corresponding amount of RBTC. The contract must be in the 'Above coverage' state. The BitPros and RBTC are simply discounted from the base bucket. ### DoC Tokens and their equivalent in RBTC are simply subtracted from the base bucket. --- # 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://docs.moneyonchain.com/main-rbtc-contract/money-on-chain-platform/public-actions/user-actions.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.