[pilgrim689]

Yes. The "total pool of bitcoins" is actually less than 21m, considering the lost ones. Does it matter, though? Whether the max is 21m or 20.1321029 ...