Entailment is actually constraint.