No, that's not it. You mine a coin into the same coin but somehow 20 additional percent mysteriously vanishes. It's like digging for gold in somebody's gold mine. You mine 100 grams of gold in an arbitrary time period, expecting to get 98 grams in your pocket after the mining fee but instead you get 78 grams.