Chapter 12.4: Entailment and Validity