Correct. He owns 21 million Bitcoin.