added entailment