However, in the case of cDOT-DOT liquidity providing, since cDOT vs DOT price is certain at the maturity of the cDOT (i.e. cDOT is redeemable 1:1 to DOT at the maturity of the cDOT), the impermanent loss becomes permanent. Mathematically speaking, since our DEX uses the most widely adopted constant-product AMM mechanism (i.e. x*y=k model), when the LP position is opened, the constant product k is determined. Then at at maturity of the cDOT, the number of cDOT x and number of DOT y in the LP will be equal (as cDOT is redeemable 1:1 to DOT). Therefore at maturity, the LP position consists of √k cDOT and √k DOT, which in turn can be redeemed into 2√k DOT. In other words, the DOT-denominated value of LP position at the time of cDOT maturity is determined when the LP position is opened.