Premise: Therefore, tax revenue is nonexchange revenue.

Hypothesis: Tax revenue is exchangeable 
Relation: contradiction