If icx doesn't have their their Dex up, where will they be traded? Pretty sure Dex should be catalyst, but no updates on that either.