Add more on entailment, and conclusion