Could there be roughly 4 million less bitcoins in circulation than ...