Last time I checked the government runs the SEC. We all know the government can't run anything correctly. Of course official records show 0 short interest. I believe that like I believe you care about the interest of the shareholders.