Therefore, tax revenue is nonexchange revenue.
Tax revenue isn't exchangeable revenue