How do we know. They claimed they retired them last NOVEMBER. Its not like it was 2 weeks ago. And if they really had retired these shares don't we think they would have filed the same day as that would have been a huge deal. So 4 months isn't enough time to get it done.