I get what you're saying, but your math is a bit misleading. As far as I know, the missing 4m are a subset of the 16m already mined. That still leaves ~5m to be acquired in the future, albeit rather slowly.