If they had, it would need to be on Form 3. Right now they only own options. The filings are factual, regardless of what you choose to, or find hard to believe.