more on entailment