No, corporate announcements are very much planned in advance. There's a lot of coordination that has to happen. This is just coincidence, unless one of the companies had inside information about the other's announcement and timing. But that's pretty unlikely.