@ohad are the tokens being sold in the "tentative sale" IDNI (i.e. tradeable on Bittrex), or are they IOUs for AGRS when Tau or when Agora launches?