Minor review of / adjustments to entailment check work.