You do not have access to this note.

1.4 Entailment = Validity