But those pension would've been exposed at previous rounds' price, not the IPO price. An aggressively priced IPO gone bad will likely still net them a positive ROI.