Tezos is really great project. I have invested in the ICO, but I would like to buy more of their tokens when it hits exchanges. The most promising ICO of 2017 I would say. Also, do you know when Tezos is available on exchanges?