Entailment and Presupposition