if saylor buys back $mstr stock by selling $btc - is this net positive for $btc?