Thanks.
That it is loaned is key.
It’s still sell higher than bought.
Sell high, buy low.
Exactly, usually when the market is setting records, the amount shorted sets records too.