There's no guarantee that all the IPO shares would have been placed at $46 (I'd doubt it).