Today was supposedly the day the new shares start trading. I haven't even seen an initial pricing for them. Did it happen or what?