Yes, they exist. Full title is yet to be shown. But the as-of-yet-available evidence there, anyhow, seems supportive of the claim that Dr Wright is the majority owner of the company that owns the world's #17 supercomputer.