Text: Corporation Comm'n of Okla., 278 U. S. 515, 525 (1929); see also Davis v.
Entailment: There is a corporation commission in Oklahoma.
Contradiction: There is a corporation commission in Ohio..