Title: Entailment: the logic of relevance and necessity