For example, when the Halonaut intends to redeem TCAD from Polygon to Matic chain, the user will deposit the Wrapped TCAD into our bridge and execute the transaction. By doing so, the wrapped TCAD will be burnt on the Polygon Chain and a proportional amount of TCAD will be released on the ETH Mainnet.