mnli premise: Of course it is true that for a given level of spending, lowering one tax will require raising another. hypothesis: If spending remains the same, lowering one tax automatically results in having to raise another.