Oh. 
I imagine for every dollar of MSTR they short, they are long 2 dollars of bitcoin. 
The only caveat is the cost and how hard is MSTR to borrow, otherwise it looks like a logical trade