Premise: Therefore, tax revenue is nonexchange revenue.

Hypothesis: Tax revenue isn't exchangeable revenue
Relation: entailment