Somewhat hard to short non public company, don't you think?