Text: Therefore, tax revenue is nonexchange revenue.
Entailment: Tax revenue isn't exchangeable revenue
Contradiction: Tax revenue is exchangeable