But these rumors were said and talked about several days. But no big options trade was made before the actual day of announcement. That’s why it’s telling.