Yes, it was publicly known that the IPO was today.