It’s not his BTC. It belongs to the company and it’s shareholders. His personal stack is much, much smaller.