First-degree entailment