entailment done