Fix no good entailment