Text: Just over a dozen remain.
Entailment: Only a bit over 12 remain.
Contradiction: About 36 still remain.