Out of curiosity, once you have something in USDT on Rudex, how would you then get that out of Rudex into fiat currency?