entailment
not entailment
