A small note in your formulations. You wrote. "TDX is the national currency of the Shocked TradeTex Exchange, in which all account balances and trading profits and losses are denominated.". However, only those coins that are officially issued by any state can be considered national coins.
Hi,
Where we mentioned it as national currency?
if it is then really its by mistake, As its not national its Decentralized coin.