Please correct me if I'm not understanding this correctly, but is the total coin supply 36m? Does this include the ipo? And if so isn't the IPO a tad overpriced?