Just curious, how do you know ACR is one of their biggest shorts? Is there a way to see what makes up the portfolio. I had a look at their last annual report but it only seems to show the longs (I assume).