Just a personal question: if I buy the currency at 0.80 as it is, is it certain that it will be launched at that value? Or could it be a much higher value than that?