Premise: In addition, requiring the same level of reduction at a

Hypothesis: A reduction by the same level
Relation: entailment