Premise: Therefore, tax revenue is nonexchange revenue.
Hypothesis: Tax revenue is exchangeable 
Label: contradiction