$USUAL If the TVL grows by 3 billion each year, $USUAL a total of 4 billion coins, minted over four years, apart from the initial airdrop of 495 million, at most less than 900 million each year, corresponding to 3 billion.