Loading: How much tax is lost each year? #defi