Will Michael Saylor Have to Sell Parts of His Bitcoin Stash?