Text: (Click to read about Cook and ABA if you missed the previous link to it.)
Entailment: Click here to learn about Cook if you missed it.
Contradiction: This is the first link to ABA present here.