Isn't shorting considered a margin transaction? If so, and short interest were exceptionally high, wouldn't that affect these margin figures? Newly