Yes, to our knowledge this was not some sort of due date, but we cannot know for sure. However, I would be interested to know just when this was filed. Today? Last week? I wonder if there is some kind of delay from filing to announcement. I actually believe that this was a good sign.