[translation-eng] {Hopkins} (1) [the two are] eliminator and eliminated; and (2) [their being] two or not two or some third possibilty is eliminated

[comments] definition of directly contradictory (dngos 'gal)