Make entailment more robust.