How does this drawdown thing work? Would that mean that there’s only 3800 bitcoin available? Please advise