Does any knows how the IRS (or an other tax agency) calculates revenue?